Skip to content

Conversation

@burrbull
Copy link
Member

Part of #388

Copy link
Member

@therealprof therealprof left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh wow, big chunk of work... 😅

LGTM, thanks.

bors r+

@bors bors bot merged commit 303b679 into master Dec 27, 2021
@bors bors bot deleted the e-hal-02-only branch December 27, 2021 20:05
@burrbull
Copy link
Member Author

What do you think about making release now?

@therealprof
Copy link
Member

What about your open PRs? #372 and #396?

@burrbull
Copy link
Member Author

What about your open PRs? #372 and #396?

I've planned to wait for @gernoteger to reply a couple of days. Otherwise I'll rebase #396 myself.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants